Quantum Gravity Made Easy

Quantum programming made easy

We introduce the functional language IQu (“Haiku”) which, under the paradigm “quantum data & classical control” and in accordance with the model QRAM, allows to define and manipulate quantum circuits also by means of intermediate and partial measurement. Idealized Algol is the reference for the design of IQu. We extend the type system of Idealized Algol for typing both quantum-registers, i.e. t...

Six Sigma Simplified: Quantum Improvement Made Easy

Spend your few moment to read a book even only few pages. Reading book is not obligation and force for everybody. When you don't want to read, you can get punishment from the publisher. Read a book becomes a choice of your different characteristics. Many people with reading habit will always be enjoyable to read, or on the contrary. For some reasons, this six sigma simplified quantum improvemen...

Information loss, made worse by quantum gravity?

Quantum gravity is often expected to solve both the singularity problem and the information-loss problem of black holes. This article presents an example from loop quantum gravity in which the singularity problem is solved in such a way that the information-loss problem is made worse. Quantum effects in this scenario, in contrast to previous non-singular models, do not eliminate the event horiz...

Atom Bomb Made Easy

Concurrent Programming Made Easy

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. In this paper we describe a constraint-based methodology for writing concurrent applications. A system is modeled as: (a) a set of processes containing a sequence of “markers” denoting the processes points of interest; and (b...